Nuprl Definition : inc-fst
11,40
postcript
pdf
inc-fst(
p
) == let
i
,
j
=
p
in <
i
+ 1, 0>
latex
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
,
<
a
,
b
>
,
n
+
m
,
#$n
FDL editor aliases
inc-fst
origin